Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
51	Microsoft Word - 1996_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:45 Ada programming language Ada Robert Dewar A Sharp Computing Software engineering Computer programming
52	Microsoft Word - 1999_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:45 Application programming interfaces Ada Association for Computing Machinery Ada programming language GNAT Robert Dewar POSIX FSU Pthreads Computing Software engineering Computer programming
53	i i “program” — — 10:23 — page 1 — #1 i Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2005-05-10 08:56:12 Ada programming language Software architecture Systems architecture Formal methods Ada SPARK Architecture Analysis & Design Language Ravenscar profile Real-time computing Computing Software engineering Computer programming
54	Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System Kung-Kiu Lau and Zheng Wang School of Computer Science, The University of Manchester Oxford Road, Manchester M13 9PL, United Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-11-27 20:49:10 Component-based software engineering Object-oriented programming Ada programming language SPARK Software architecture Software engineering Computing Computer programming
55	Microsoft Word - 1997_SIGAda_Awards.html Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:42:34 Computer programming Ada GNAT A Sharp Control flow Ada Semantic Interface Specification Computing Ada programming language Software engineering
56	Microsoft Word - 2000_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:46 Programming language theory Ada Robert Dewar DDC-I Ravenscar profile A Sharp Jean Ichbiah Computing Ada programming language Software engineering
57	Microsoft Word - 1995_SIGAda_Awards.doc Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:15:45 Ada programming language Ada Robert Dewar Jean Ichbiah LIS GNAT Computing Software engineering Computer programming
58	CallCallHow Architecture‐Driven Modernization Is Changing the Game in Information System Modernization Add to Reading List Source URL: www.dtic.mil Language: English - Date: 2012-05-29 04:13:24 Unified Modeling Language Architecture-driven modernization Software architecture COBOL Procedural programming languages Model-driven architecture Object Management Group Fortran Ada Software engineering Computing Computer programming
59	October 24, 2013 Dear All, I am writing to you on behalf of Ada-Europe, the international organization that promotes the use, the maintenance and the evolution of the Ada language and technology. As part of its charter, Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2013-10-24 08:43:38 Ada Computing Software engineering Computer programming
60	PDF Document Add to Reading List Source URL: web.archive.org Language: English Procedural programming languages ALGOL Pascal Turing Award PL/I Simula Programming language Structured programming Ada Software engineering Computing Programming language theory